Durable Queue Implementations Built on a Formally Defined Strand Persistency Model
نویسندگان
چکیده
منابع مشابه
Congestion Pricing: A Parking Queue Model
Drivers in urban neighborhoods who patrol streets, seeking inexpensive on-street parking create a significant fraction of measured traffic congestion. The pool of drivers patrolling at any time can be modeled as a queue, where ‘queue service’ is the act of parking in a recently vacated parking space and queue discipline is SIRO – Service In Random Order. We develop a queueing model of such driv...
متن کاملDeriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation
L.-H. Eriksson and P.A. Lindsay (Eds.): FME 2002, LCNS 2391, pages 310 329, July 2002. c © Springer-Verlag Berlin Heidelberg 2002. Abstract. We consider abstract specifications of cryptographic protocols which are both suitable for formal verification and maintain a sound cryptographic semantics. In this paper, we present the first abstract specification for ordered secure message transmission ...
متن کاملA model for persistency of egg production.
The objectives of our study were to propose a new definition for persistency of egg production and to develop a mathematical model to describe the egg production curve, one that includes a new measure for persistency, based on the proposed definition, for use as a selection criterion to improve total egg production. Persistency of egg production is an important determining factor for total egg ...
متن کاملEnabling MAC Protocol Implementations on Software-Defined Radios
Over the past few years a range of new Media Access Control (MAC) protocols have been proposed for wireless networks. This research has been driven by the observation that a single one-size-fits-all MAC protocol cannot meet the needs of diverse wireless deployments and applications. Unfortunately, most MAC functionality has traditionally been implemented on the wireless card for performance rea...
متن کاملA New Reliable Controller Placement Model for Software-Defined WANs
Software-Defined Network (SDNs) is a decoupled architecture that enables administrators to build a customizable and manageable network. Although the decoupled control plane provides flexible management and facilitates the task of operating the network, it is the vulnerable point of failure in SDN. To achieve a reliable control plane, multiple controller are often needed so that each switch must...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of information processing
سال: 2021
ISSN: ['0387-6101']
DOI: https://doi.org/10.2197/ipsjjip.29.823